1. <An> Introduction to Geodel's Theorems
پدیدآورنده : Peter Smith
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع : Logic, Symbolic and mathematical,Geodel numbers,Geodel, Kurt
رده :
511
.
3
S642I